assumption-based TMS

基于假定的真值維護系統